Interacting dynamic Systems Model Complex Specification
نویسندگان
چکیده
منابع مشابه
Requirements Engineering Model in Designing Complex Systems
This research tends to development of the requirements elicitation methodology with regard to operational nature and hierarchical analysis for complex systems and also, regarding available technologies. This methodology applies Analytic Hierarchy Process (AHP) and Analytic Network Process (ANP) to ensure traceability of planned qualitative and quantitative data from requirements to available te...
متن کاملRequirements Engineering Model in Designing Complex Systems
This research tends to development of the requirements elicitation methodology with regard to operational nature and hierarchical analysis for complex systems and also, regarding available technologies. This methodology applies Analytic Hierarchy Process (AHP) and Analytic Network Process (ANP) to ensure traceability of planned qualitative and quantitative data from requirements to available te...
متن کاملDissertation DYNAMIC AND INTERACTING COMPLEX NETWORKS
This thesis employs methods of statistical mechanics and numerical simulations to study some aspects of dynamic and interacting complex networks. The mapping of various social and physical phenomena to complex networks has been a rich field in the past few decades. Subjects as broad as petroleum engineering, scientific collaborations, and the structure of the internet have all been analyzed in ...
متن کاملDynamic specification of open agent systems
Multi-Agent Systems (MAS) where the agents are developed by different parties and serve different interests, are often classified as ‘open’. The specification of open MAS is largely seen as a design-time activity. Moreover, there is no support for run-time specification modification. Due to environmental, social, or other conditions, however, it is often required to revise the MAS specification...
متن کاملSpecification and Verification of Dynamic Topology Systems
Formal methods for embedded systems currently mainly focus on single components or fixed configurations of finitely many components. Examples for the former case are open finite-state systems as models of single discrete controllers in a discrete environment. Examples for the latter comprise models of clusters of controllers with fixed inter-connection, that is, no controllers are added or remo...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: SPIIRAS Proceedings
سال: 2014
ISSN: 2078-9599,2078-9181
DOI: 10.15622/sp.11.10